pWCET: a Tool for Probabilistic Worst-Case Execution Time Analysis of Real-Time Systems

نویسندگان

Guillem Bernat

Antoine Colin

Stefan Petters

چکیده

This paper describes the tool support for a framework for performing probabilistic worst-case execution time (WCET) analysis for embedded real-time systems. The tool is based on a combination of measurement and static analysis, all in a probabilistic framework. Measurement is used to determine execution traces and static analysis to construct the worst path and effectively providing an upper bound on the worst-case execution time of a program. The paper illustrates the theoretical framework and the components of the tool together with a case study.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the Meaning of pWCET Distributions and their use in Schedulability Analysis

This short paper accompanies the keynote talk at RTSOPS 2017. It discusses the different meanings attached to probabilistic Worst-Case Execution Time (pWCET) distributions derived from Static Probabilistic Timing Analysis (SPTA) and MeasurementBased Probabilistic Timing Analysis (MBPTA). These different meanings relate to aleatoric variability (randomness in the systems and its environment) and...

متن کامل

Analysis of Probabilistic Cache Related Pre-emption Delays for Systems with Random Cache Replacement Policies

This paper integrates analysis of probabilistic cache related pre-emption delays (pCRPD) and static probabilistic timing analysis (SPTA) for multipath programs running on a hardware platform that uses an evict-on-miss random cache replacement policy. The SPTA computes an upper bound on the probabilistic worst-case execution time (pWCET) of the program, which is an exceedance function giving the...

متن کامل

WCET Analysis of Probabilistic Hard Real-Time Systems

Traditional approaches for worst case execution time (WCET) analysis produce values which are very pessimistic if applied to modern processors. In addition, end to end measurements as used in industry produce estimates of the execution time that potentially underestimate the real worst case execution time. We introduce the notion of probabilistic hard real-time system as a system which has to m...

متن کامل

Measurement-Based Probabilistic Timing Analysis for Graphics Processor Units

Purely analytical worst-case execution time (WCET) estimation approaches for Graphics Processor Units (GPUs) cannot go farbecause of insufficient public information for the hardware. Thereforemeasurement-based probabilistic timing analysis (MBPTA) seems theway forward. We recently demonstrated MBPTA for GPUs, based onExtreme Value Theory (EVT) of the “Block Maxima” paradigm. In thisnewer work, ...

متن کامل